match () with
| x{caret} when true -> ()
| _ -> ()
